A Generic and Flexible Framework for the Geometrical and Topological Analysis of (Algebraic) Surfaces∗ Eric Berberich† Max-Planck-Institut f¨ur Informatik Michael Sagraloff‡

Source URL: people.mpi-inf.mpg.de

• Field theory
• Algebraic curve
• Envelope
• Differential geometry of surfaces
• Valuation

GERALDO VIDIGAL Max Planck Institute Luxembourg for International, European and Regulatory Procedural Law 4, rue Alphonse Weicker L-2721 Luxembourg +

Source URL: www.mpi.lu

Interview der Medienakademie des Max-Planck-Gymnasiums Duisburg ammit Shaheen Dill-Riaz, dem Regisseur von „Der Vorführer“ und Gewinner der GROSSEN KLAPPE bei doxs! kino 2012 Hallo Herr Dill-Riaz. Wir st

Source URL: www.do-xs.de

D-BSSE Current Topics in Systems Biology Joachim Selbig Bioinformatics, University of Potsdam, Max Planck Institute of Molecular Plant Physiology (Germany) Analysis and comparison of

Source URL: www.bsse.ethz.ch

Postdoctoral Researcher for the Sociology of Markets Research Group The Max Planck Institute for the Study of Societies is currently seeking a postdoctoral researcher to conduct research on the role of the future in econ

Source URL: www.egosnet.org

Human Simulation of Adaptive Behavior: Interactive studies of pursuit, evasion, courtship, ghting, and play Philip W. Blythe, Georey F. Miller, and Peter M. Todd Center for Adaptive Behavior and Cognition Max Planck In

Source URL: psych.unm.edu

An index to quantify an individual’s scientific research output J. E. Hirsch* Department of Physics, University of California at San Diego, La Jolla, CACommunicated by Manuel Cardona, Max Planck Institute f

Source URL: polymer.bu.edu

Isotopic evidence for the diets of European Neanderthals and early modern humans Michael P. Richardsa,b,1 and Erik Trinkausc aDepartment of Human Evolution, Max-Planck Institute for Evolutionary Anthropology, Deutscher P

Source URL: www.pnas.org

Temporal Mode-Checking for Runtime Monitoring of Privacy Policies Omar Chowdhury§ , Limin Jia§ , Deepak Garg† , and Anupam Datta§ Carnegie Mellon University§ , Max Planck Institute for Software Systems† {omarc, l

Source URL: www.andrew.cmu.edu

• Logic
• Mathematical logic
• Automated theorem proving
• Logic programming
• Logical truth
• Propositional calculus
• Substitution
• FO
• Constructible universe
• Normal distribution

Minimum Cycle Bases Algorithms and Applications Kurt Mehlhorn Max-Planck-Institut f¨ur Informatik Saarbr¨ucken joint work with

Source URL: people.mpi-inf.mpg.de